|
Per "Pelle" Lindström (April 9, 1936 – August 21, 2009, Gothenburg)〔ASL (Newsletter ), September 2009〕 was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named. (He also independently discovered Ehrenfeucht–Fraïssé games.〔) He was one of the key followers of Lars Svenonius. A festschrift for Lindström was published in 1986. == Selected publications == * Per Lindström, First Order Predicate Logic with Generalized Quantifiers, ''Theoria'' 32, 1966, 186–195. * Per Lindström, On Extensions of Elementary Logic, ''Theoria'' 35, 1969, 1–11. * ; 2nd ed. published by ASL in 2003, ISBN 978-1-56881-173-4 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Per Lindström」の詳細全文を読む スポンサード リンク
|